647 research outputs found

    Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

    Get PDF
    One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

    Xcd - Modular, Realizable Software Architectures

    Get PDF
    Connector-Centric Design (Xcd) is centred around a new formal architectural description language, focusing mainly on complex connectors. Inspired by Wright and BIP, Xcd aims to cleanly separate in a modular manner the high-level functional, interaction, and control system behaviours. This can aid in both increasing the understandability of architectural specifications and the reusability of components and connectors themselves. Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors). At the same time Xcd attempts to ease the architectural specification by following (and extending) a Design-by-Contract approach, which is more familiar to software developers than process algebras like CSP or languages like BIP that are closer to synchronous/hardware specification languages. Xcd extends Design-by-Contract (i) by separating component contracts into functional and interaction sub-contracts, and (ii) by allowing service consumers to specify their own contractual clauses. Xcd connector specifications are completely decentralized, foregoing Wright’s connector glue, to ensure their realizability by construction

    Enhanced cosmic-ray flux toward zeta Persei inferred from laboratory study of H3+ - e- recombination rate

    Full text link
    The H3+ molecular ion plays a fundamental role in interstellar chemistry, as it initiates a network of chemical reactions that produce many interstellar molecules. In dense clouds, the H3+ abundance is understood using a simple chemical model, from which observations of H3+ yield valuable estimates of cloud path length, density, and temperature. On the other hand, observations of diffuse clouds have suggested that H3+ is considerably more abundant than expected from the chemical models. However, diffuse cloud models have been hampered by the uncertain values of three key parameters: the rate of H3+ destruction by electrons, the electron fraction, and the cosmic-ray ionisation rate. Here we report a direct experimental measurement of the H3+ destruction rate under nearly interstellar conditions. We also report the observation of H3+ in a diffuse cloud (towards zeta Persei) where the electron fraction is already known. Taken together, these results allow us to derive the value of the third uncertain model parameter: we find that the cosmic-ray ionisation rate in this sightline is forty times faster than previously assumed. If such a high cosmic-ray flux is indeed ubiquitous in diffuse clouds, the discrepancy between chemical models and the previous observations of H3+ can be resolved.Comment: 6 pages, Nature, in pres

    Azimuthal Correlations in the Target Fragmentation Region of High Energy Nuclear Collisions

    Get PDF
    Results on the target mass dependence of proton and pion pseudorapidity distributions and of their azimuthal correlations in the target rapidity range −1.73≀η≀1.32-1.73 \le \eta \le 1.32 are presented. The data have been taken with the Plastic-Ball detector set-up for 4.9 GeV p + Au collisions at the Berkeley BEVALAC and for 200 A⋅A\cdotGeV/cc p-, O-, and S-induced reactions on different nuclei at the CERN-SPS. The yield of protons at backward rapidities is found to be proportional to the target mass. Although protons show a typical ``back-to-back'' correlations, a ``side-by-side'' correlation is observed for positive pions, which increases both with target mass and with impact parameter of a collision. The data can consistently be described by assuming strong rescattering phenomena including pion absorption effects in the entire excited target nucleus.Comment: 7 pages, figures included, complete postscript available at ftp://qgp.uni-muenster.de/pub/paper/azi-correlations.ps submitted to Phys. Lett.

    Molecular excitation in the Interstellar Medium: recent advances in collisional, radiative and chemical processes

    Full text link
    We review the different excitation processes in the interstellar mediumComment: Accepted in Chem. Re

    Pion Freeze-Out Time in Pb+Pb Collisions at 158 A GeV/c Studied via pi-/pi+ and K-/K+ Ratios

    Get PDF
    The effect of the final state Coulomb interaction on particles produced in Pb+Pb collisions at 158 A GeV/c has been investigated in the WA98 experiment through the study of the pi-/pi+ and K-/K+ ratios measured as a function of transverse mass. While the ratio for kaons shows no significant transverse mass dependence, the pi-/pi+ ratio is enhanced at small transverse mass values with an enhancement that increases with centrality. A silicon pad detector located near the target is used to estimate the contribution of hyperon decays to the pi-/pi+ ratio. The comparison of results with predictions of the RQMD model in which the Coulomb interaction has been incorporated allows to place constraints on the time of the pion freeze-out.Comment: 9 pages, 12 figure
    • 

    corecore